Fifth Competition of Pseudo-Boolean Solvers (PB’10) Call for Solvers and Benchmarks http://www.cril.univ-artois.fr/PB10/ G OAL Like the previous competitions (PB05, PB06, PB07 and PB09), the goal is to assess the state

Source URL: www.cril.univ-artois.fr

• Logic in computer science
• Combinatorial optimization
• Operations research
• Numerical software
• Maximum satisfiability problem
• Constraint satisfaction
• Mathematical optimization
• Solver
• Satisfiability
• Integer programming
• Constraint
• Boolean satisfiability problem

Introduction to Octave Dr. P.J.G. Long Department of Engineering University of Cambridge Based on the Tutorial Guide to Matlab written by Dr. Paul Smith

Source URL: www-mdp.eng.cam.ac.uk

• Software
• Mathematical software
• Application software
• Array programming languages
• GNU Octave
• MATLAB
• Array programming
• Trigonometric functions
• Sine
• Logarithm
• Division
• Octave

Groklaw: Why Software is Abstract, by PolR http://www.groklaw.net/article.php?story=Why Software is Abstract, by PolR Thursday, October @ 03:40 AM EDT

Source URL: ladoc.ffii.fr

• Law
• Theoretical computer science
• Computing
• Academia
• Patent law
• Formal sciences
• Algorithm
• Mathematical logic
• Patentable subject matter
• Software patent
• Abstraction
• Software

Energy Efficient DVFS Scheduling for Mixed-Criticality Systems TIK Report No. 354 Pengcheng Huang, Pratyush Kumar, Georgia Giannopoulou, Lothar Thiele Computer Engineering and Networks Laboratory, ETH Zurich, 8092 Zurich

Source URL: www.tik.ethz.ch

• Business
• Operations research
• Professional studies
• Mixed criticality
• Safety engineering
• Software engineering
• Systems engineering
• Economy
• Computational problems
• Power management
• Mathematical optimization
• Laser Inertial Fusion Energy

Laboratory of Advanced Software in Mathematics High-Performance Computing for Graph Analysis and Mathematical Optimization Problem Katsuki FUJISAWA Degree: PhD (Science)(Tokyo Institute of Technology)

Source URL: www.imi.kyushu-u.ac.jp

The DOE ACTS Collection The DOE Advanced CompuTational Software Collection The Department of Energy’s Advanced CompuTational Software (ACTS) Collection is a set of DOE-developed software tools that make it easier for p

Source URL: acts.nersc.gov

• Mathematical software
• Operations research
• Numerical software
• Numerical linear algebra
• Cross-platform software
• Portable
• Extensible Toolkit for Scientific Computation
• Computational science
• Wolfram Mathematica
• SageMath
• Mathematical optimization
• Linear programming
• Finite element method

Microsoft Word - writproj_title.doc

Source URL: www.cs.sjsu.edu

• Proof assistants
• Software
• Programming language theory
• Functional languages
• Type theory
• Coq
• Agda
• Theorem
• Metamath
• Coenzyme Q10
• Mathematical proof
• Mathematical logic

Deriving DAP Implementations of Numerical Mathematical Software through Automated Program Transformation1 James M. Boyley2 , Maurice Clint, Stephen Fitzpatrick3 , Terence J. Harmer , fM.Clint, S.Fitzpatr

Source URL: www.kestrel.edu

Microsoft Word - Errata.docx

Source URL: websites.psychology.uwa.edu.au

• Software
• Application software
• Mathematical software
• Probability distributions
• Cross-platform software
• Linear algebra
• MATLAB
• Numerical software

Root FindingMinimization Parabola ..................... .............

Source URL: genome.sph.umich.edu

• C++
• Software engineering
• Parabolas
• Computer programming
• Curves
• Root-finding algorithm
• C++ string handling
• Mathematical optimization
• Computing